معنای عملیاتی برای یک زبان مبتنی براکتور
نویسندگان
چکیده
باتوجه به رشد روز افزون استفاده از سیستم های همروند، داشتن مدلی مناسب برای توصیف این گونه سیستم ها امری ضروری است. در این مقاله یک زبان مبتنی براکتور، که زبانی شیء بنیاد و همروند است انتخاب شده و معنای عملیاتی آن به شکل صوری در سیستم گذار پایه بیان گردیده است. به این ترتیب درک و استفاده از زبان و همچنین تشخیص هرگونه ناسازگاری و یا ابهام و نقص در آن آسان تر شده است. اشیاء واکنشی مستقل از هم، اجزاء تشکیل دهنده ی مدل هستند که با تبادل ناهمگام پیام با یکدیگر در ارتباط هستند. ایجاد پویای اشیاء واکنشی و تغییر پویای پیکربندی از ویژگی های این زبان است. این زبان به همراه توصیف صوری و قانونمند آن، پایه محکمی برای داشتن یک ابزار جهت وارسی سیستم های واکنشی بوده است.
منابع مشابه
حالت و معنای حالت در زبان روسی
در دستور سنتی زبان روسی، ویژگی دستوری "حالت " به عنوان یکی از ویژگی های دستوری تغییردهنده در ارتباط با اسم تعیین می شود و بر این اساس، شش حالت صرفی تحت عناوین "حالت نهادی، " حالت اضافی "، "حالت به ای "، "حالت مفعول مستقیم "، "حالت بایی " و "حالت حرف اضافه ای " مشخص می شوند. " صرف اسمی " از سوی دستورنویسان روس عمدتأ به شکل های مختلف اسم که موجب ویژگی دستوری "حالت " به دست می آیند، اطلاق می شود و...
متن کاملشناسایی رفتارهای عملیاتی مبتنی بر ارزشهای سازمانی در لایهی عملیاتی
جاریسازی ارزشهای سازمانی موجب بهبود رفتار کارکنان شده و اخلاق حرفهای به مبنایی برای کسبوکار بدل میگردد. توجه به چگونگی و سازوکارهای لازم برای جاریسازی ارزشها و تبدیل آن به رفتارهای عملیاتی در لایهی عملیاتی کمتر مورد توجه قرار گرفته است. به این منظور، ضمن مروری مستند بر ادبیات موضوع، نتایج بهدستآمده، طی مطالعهی موردی در شرکت فولاد مبارکهی اصفهان، مورد بررسی قرار گرفته است. بر این اسا...
متن کاملطراحی یک ردیاب برای یک ماهوارهبر مبتنی بر خطیسازی برخط
به دلیل حضور برخی ترمهای غیر خطی در معادلات پرواز یک ماهوارهبر باید یک راهبرد مناسب و پایدار کنترلی برای غلبه بر این ترمها و در نتیجه، فرایند ردیابی صحیح مسیر بهینۀ رسیدن ماهوارهبر به مدار مورد نظر را طراحی کرد. در این مقاله، مبانی طراحی یک کنترلکننده برای سیستم غیر خطی نوین و ساده با هدف کنترل یک نوع ماهوارهبر در جهت ردیابی مسیر بهینۀ آن توضیح داده میشود. مبنای اساسی این استراتژی، خطیس...
متن کاملسیستم تشخیص ناهنجاری مبتنی بر هشدار برای مقابله با تهدیدهای عملیاتی در سیستم اسکادا
حمله به سیستمهای اسکادا در زیرساختهای حیاتی خسارتهای جبرانناپذیری به همراه دارد. چنانچه اپراتورهای اسکادا وظایف خود را بهدرستی انجام ندهند، در فرآیندهای جاری سیستم اختلال بهوجود میآید. عملکرد نامناسب اپراتورها در کنترل فرآیندها بهعنوان تهدید عملیاتی شناخته میشود. ازآنجاییکه هشدارها یکی از مهمترین پارامترها در سیستمهای اسکادا میباشند، در این مقاله یک سیستم تشخیص ناهنجاری مبتنی بر هش...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
نشریه دانشکده فنیناشر: دانشکده فنی
ISSN 0803-1026
دوره 40
شماره 2 2006
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023